Deadlock Models and a General Algorithm for Distributed Deadlock Detection
نویسندگان
چکیده
منابع مشابه
Distributed Deadlock Detection for Distributed Process Networks
The distributed process network (DPN) model allows for greater scalability and performance over a non-distributed process network model. This paper presents a distributed deadlock detection algorithm applicable to process networks. The algorithm efficiently detects both local and global deadlocks. In addition, the deadlock detection algorithm has minimal bandwidth and memory requirements. Lastl...
متن کاملA Novel Concurrent Generalized Deadlock Detection Algorithm in Distributed Systems
Detecting deadlocks has been considered an important problem in distributed systems. Many approaches are proposed to handle this issue; however, little attention has been paid on coordinating concurrent execution of distributed deadlock detection algorithms. Previous approaches may report incorrect results (false negatives), and they are inefficient due to lack of proper coordination of concurr...
متن کاملDeadlock Detection in Distributed Database
Volume 2, Issue 2 March – April 2013 Page 95 Abstract: In distributed database, data resides in various sites and many transactions can originate at any number of sites randomly. These transactions can execute concurrently. This concurrency leads to deadlock in which transactions may enter into an infinite waiting state so deadlock handling is an important criteria in distributed transaction pr...
متن کاملFormal verification of a deadlock detection algorithm
Deadlock detection is a challenging issue in the analysis and design of on-chip networks. We have designed an algorithm to detect deadlocks automatically in on-chip networks with wormhole switching. The algorithm has been specified and proven correct in ACL2. To enable a top-down proof methodology, some parts of the algorithm have been left unimplemented. For these parts, the ACL2 specification...
متن کاملDistributed Deadlock Detection using Fault Informing Probes
Pei-yu Li and Bruce McMillin, "Fault-tolerant Distributed Deadlock Detection/ Resolution", IEEE Transactions on parallel and distributed systems, pp 224-230, 1993. M. Tamer Ozsu and Patrick Valduriez, "Principles of Distributed Database Systems", Pearson Education, 1999. Chowdhary, A. N. , Kohler, W. H. , Stankovic, J. A. and Towsley, D. , "A modified priority based pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Parallel and Distributed Computing
سال: 1996
ISSN: 0743-7315
DOI: 10.1006/jpdc.1996.0017